Optimal. Leaf size=378 \[ -\frac {9}{32} b d n x \sqrt {d+e x^2}-\frac {1}{16} b n x \left (d+e x^2\right )^{3/2}+\frac {3 b d^{5/2} n \sqrt {1+\frac {e x^2}{d}} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )^2}{16 \sqrt {e} \sqrt {d+e x^2}}-\frac {9 b d^2 n \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{32 \sqrt {e}}-\frac {3 b d^{5/2} n \sqrt {1+\frac {e x^2}{d}} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right ) \log \left (1-e^{2 \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}\right )}{8 \sqrt {e} \sqrt {d+e x^2}}+\frac {3}{8} d x \sqrt {d+e x^2} \left (a+b \log \left (c x^n\right )\right )+\frac {1}{4} x \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )+\frac {3 d^{5/2} \sqrt {1+\frac {e x^2}{d}} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right ) \left (a+b \log \left (c x^n\right )\right )}{8 \sqrt {e} \sqrt {d+e x^2}}-\frac {3 b d^{5/2} n \sqrt {1+\frac {e x^2}{d}} \text {Li}_2\left (e^{2 \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}\right )}{16 \sqrt {e} \sqrt {d+e x^2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.19, antiderivative size = 378, normalized size of antiderivative = 1.00, number of steps
used = 16, number of rules used = 11, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.500, Rules used = {2358, 201,
223, 212, 2364, 2362, 5775, 3797, 2221, 2317, 2438} \begin {gather*} -\frac {3 b d^{5/2} n \sqrt {\frac {e x^2}{d}+1} \text {PolyLog}\left (2,e^{2 \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}\right )}{16 \sqrt {e} \sqrt {d+e x^2}}+\frac {3 d^{5/2} \sqrt {\frac {e x^2}{d}+1} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right ) \left (a+b \log \left (c x^n\right )\right )}{8 \sqrt {e} \sqrt {d+e x^2}}+\frac {3}{8} d x \sqrt {d+e x^2} \left (a+b \log \left (c x^n\right )\right )+\frac {1}{4} x \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )+\frac {3 b d^{5/2} n \sqrt {\frac {e x^2}{d}+1} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )^2}{16 \sqrt {e} \sqrt {d+e x^2}}-\frac {3 b d^{5/2} n \sqrt {\frac {e x^2}{d}+1} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right ) \log \left (1-e^{2 \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}\right )}{8 \sqrt {e} \sqrt {d+e x^2}}-\frac {9 b d^2 n \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{32 \sqrt {e}}-\frac {9}{32} b d n x \sqrt {d+e x^2}-\frac {1}{16} b n x \left (d+e x^2\right )^{3/2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 201
Rule 212
Rule 223
Rule 2221
Rule 2317
Rule 2358
Rule 2362
Rule 2364
Rule 2438
Rule 3797
Rule 5775
Rubi steps
\begin {align*} \int \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right ) \, dx &=\frac {1}{4} x \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )+\frac {1}{4} (3 d) \int \sqrt {d+e x^2} \left (a+b \log \left (c x^n\right )\right ) \, dx-\frac {1}{4} (b n) \int \left (d+e x^2\right )^{3/2} \, dx\\ &=-\frac {1}{16} b n x \left (d+e x^2\right )^{3/2}+\frac {3}{8} d x \sqrt {d+e x^2} \left (a+b \log \left (c x^n\right )\right )+\frac {1}{4} x \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )+\frac {1}{8} \left (3 d^2\right ) \int \frac {a+b \log \left (c x^n\right )}{\sqrt {d+e x^2}} \, dx-\frac {1}{16} (3 b d n) \int \sqrt {d+e x^2} \, dx-\frac {1}{8} (3 b d n) \int \sqrt {d+e x^2} \, dx\\ &=-\frac {9}{32} b d n x \sqrt {d+e x^2}-\frac {1}{16} b n x \left (d+e x^2\right )^{3/2}+\frac {3}{8} d x \sqrt {d+e x^2} \left (a+b \log \left (c x^n\right )\right )+\frac {1}{4} x \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )-\frac {1}{32} \left (3 b d^2 n\right ) \int \frac {1}{\sqrt {d+e x^2}} \, dx-\frac {1}{16} \left (3 b d^2 n\right ) \int \frac {1}{\sqrt {d+e x^2}} \, dx+\frac {\left (3 d^2 \sqrt {1+\frac {e x^2}{d}}\right ) \int \frac {a+b \log \left (c x^n\right )}{\sqrt {1+\frac {e x^2}{d}}} \, dx}{8 \sqrt {d+e x^2}}\\ &=-\frac {9}{32} b d n x \sqrt {d+e x^2}-\frac {1}{16} b n x \left (d+e x^2\right )^{3/2}+\frac {3}{8} d x \sqrt {d+e x^2} \left (a+b \log \left (c x^n\right )\right )+\frac {1}{4} x \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )+\frac {3 d^{5/2} \sqrt {1+\frac {e x^2}{d}} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right ) \left (a+b \log \left (c x^n\right )\right )}{8 \sqrt {e} \sqrt {d+e x^2}}-\frac {1}{32} \left (3 b d^2 n\right ) \text {Subst}\left (\int \frac {1}{1-e x^2} \, dx,x,\frac {x}{\sqrt {d+e x^2}}\right )-\frac {1}{16} \left (3 b d^2 n\right ) \text {Subst}\left (\int \frac {1}{1-e x^2} \, dx,x,\frac {x}{\sqrt {d+e x^2}}\right )-\frac {\left (3 b d^{5/2} n \sqrt {1+\frac {e x^2}{d}}\right ) \int \frac {\sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}{x} \, dx}{8 \sqrt {e} \sqrt {d+e x^2}}\\ &=-\frac {9}{32} b d n x \sqrt {d+e x^2}-\frac {1}{16} b n x \left (d+e x^2\right )^{3/2}-\frac {9 b d^2 n \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{32 \sqrt {e}}+\frac {3}{8} d x \sqrt {d+e x^2} \left (a+b \log \left (c x^n\right )\right )+\frac {1}{4} x \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )+\frac {3 d^{5/2} \sqrt {1+\frac {e x^2}{d}} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right ) \left (a+b \log \left (c x^n\right )\right )}{8 \sqrt {e} \sqrt {d+e x^2}}-\frac {\left (3 b d^{5/2} n \sqrt {1+\frac {e x^2}{d}}\right ) \text {Subst}\left (\int x \coth (x) \, dx,x,\sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )\right )}{8 \sqrt {e} \sqrt {d+e x^2}}\\ &=-\frac {9}{32} b d n x \sqrt {d+e x^2}-\frac {1}{16} b n x \left (d+e x^2\right )^{3/2}+\frac {3 b d^{5/2} n \sqrt {1+\frac {e x^2}{d}} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )^2}{16 \sqrt {e} \sqrt {d+e x^2}}-\frac {9 b d^2 n \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{32 \sqrt {e}}+\frac {3}{8} d x \sqrt {d+e x^2} \left (a+b \log \left (c x^n\right )\right )+\frac {1}{4} x \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )+\frac {3 d^{5/2} \sqrt {1+\frac {e x^2}{d}} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right ) \left (a+b \log \left (c x^n\right )\right )}{8 \sqrt {e} \sqrt {d+e x^2}}+\frac {\left (3 b d^{5/2} n \sqrt {1+\frac {e x^2}{d}}\right ) \text {Subst}\left (\int \frac {e^{2 x} x}{1-e^{2 x}} \, dx,x,\sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )\right )}{4 \sqrt {e} \sqrt {d+e x^2}}\\ &=-\frac {9}{32} b d n x \sqrt {d+e x^2}-\frac {1}{16} b n x \left (d+e x^2\right )^{3/2}+\frac {3 b d^{5/2} n \sqrt {1+\frac {e x^2}{d}} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )^2}{16 \sqrt {e} \sqrt {d+e x^2}}-\frac {9 b d^2 n \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{32 \sqrt {e}}-\frac {3 b d^{5/2} n \sqrt {1+\frac {e x^2}{d}} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right ) \log \left (1-e^{2 \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}\right )}{8 \sqrt {e} \sqrt {d+e x^2}}+\frac {3}{8} d x \sqrt {d+e x^2} \left (a+b \log \left (c x^n\right )\right )+\frac {1}{4} x \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )+\frac {3 d^{5/2} \sqrt {1+\frac {e x^2}{d}} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right ) \left (a+b \log \left (c x^n\right )\right )}{8 \sqrt {e} \sqrt {d+e x^2}}+\frac {\left (3 b d^{5/2} n \sqrt {1+\frac {e x^2}{d}}\right ) \text {Subst}\left (\int \log \left (1-e^{2 x}\right ) \, dx,x,\sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )\right )}{8 \sqrt {e} \sqrt {d+e x^2}}\\ &=-\frac {9}{32} b d n x \sqrt {d+e x^2}-\frac {1}{16} b n x \left (d+e x^2\right )^{3/2}+\frac {3 b d^{5/2} n \sqrt {1+\frac {e x^2}{d}} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )^2}{16 \sqrt {e} \sqrt {d+e x^2}}-\frac {9 b d^2 n \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{32 \sqrt {e}}-\frac {3 b d^{5/2} n \sqrt {1+\frac {e x^2}{d}} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right ) \log \left (1-e^{2 \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}\right )}{8 \sqrt {e} \sqrt {d+e x^2}}+\frac {3}{8} d x \sqrt {d+e x^2} \left (a+b \log \left (c x^n\right )\right )+\frac {1}{4} x \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )+\frac {3 d^{5/2} \sqrt {1+\frac {e x^2}{d}} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right ) \left (a+b \log \left (c x^n\right )\right )}{8 \sqrt {e} \sqrt {d+e x^2}}+\frac {\left (3 b d^{5/2} n \sqrt {1+\frac {e x^2}{d}}\right ) \text {Subst}\left (\int \frac {\log (1-x)}{x} \, dx,x,e^{2 \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}\right )}{16 \sqrt {e} \sqrt {d+e x^2}}\\ &=-\frac {9}{32} b d n x \sqrt {d+e x^2}-\frac {1}{16} b n x \left (d+e x^2\right )^{3/2}+\frac {3 b d^{5/2} n \sqrt {1+\frac {e x^2}{d}} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )^2}{16 \sqrt {e} \sqrt {d+e x^2}}-\frac {9 b d^2 n \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{32 \sqrt {e}}-\frac {3 b d^{5/2} n \sqrt {1+\frac {e x^2}{d}} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right ) \log \left (1-e^{2 \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}\right )}{8 \sqrt {e} \sqrt {d+e x^2}}+\frac {3}{8} d x \sqrt {d+e x^2} \left (a+b \log \left (c x^n\right )\right )+\frac {1}{4} x \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )+\frac {3 d^{5/2} \sqrt {1+\frac {e x^2}{d}} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right ) \left (a+b \log \left (c x^n\right )\right )}{8 \sqrt {e} \sqrt {d+e x^2}}-\frac {3 b d^{5/2} n \sqrt {1+\frac {e x^2}{d}} \text {Li}_2\left (e^{2 \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}\right )}{16 \sqrt {e} \sqrt {d+e x^2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 5 vs. order 4 in
optimal.
time = 0.58, size = 314, normalized size = 0.83 \begin {gather*} \frac {-8 b e^{3/2} n x^3 \sqrt {d+e x^2} \, _3F_2\left (-\frac {1}{2},\frac {3}{2},\frac {3}{2};\frac {5}{2},\frac {5}{2};-\frac {e x^2}{d}\right )+9 \left (-4 b d \sqrt {e} n x \sqrt {d+e x^2} \, _3F_2\left (\frac {1}{2},\frac {1}{2},\frac {1}{2};\frac {3}{2},\frac {3}{2};-\frac {e x^2}{d}\right )+b d^{3/2} n \sqrt {d+e x^2} \sinh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right ) (-2+3 \log (x))+\sqrt {1+\frac {e x^2}{d}} \left (\sqrt {e} x \sqrt {d+e x^2} \left (5 a d-2 b d n+2 a e x^2\right )+3 d^2 (a-b n \log (x)) \log \left (e x+\sqrt {e} \sqrt {d+e x^2}\right )+b \log \left (c x^n\right ) \left (\sqrt {e} x \sqrt {d+e x^2} \left (5 d+2 e x^2\right )+3 d^2 \log \left (e x+\sqrt {e} \sqrt {d+e x^2}\right )\right )\right )\right )}{72 \sqrt {e} \sqrt {1+\frac {e x^2}{d}}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.02, size = 0, normalized size = 0.00 \[\int \left (e \,x^{2}+d \right )^{\frac {3}{2}} \left (a +b \ln \left (c \,x^{n}\right )\right )\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \left (a + b \log {\left (c x^{n} \right )}\right ) \left (d + e x^{2}\right )^{\frac {3}{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int {\left (e\,x^2+d\right )}^{3/2}\,\left (a+b\,\ln \left (c\,x^n\right )\right ) \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________